dgit.raspbian.org Git - openmpi.git/commit

author	Raspbian forward pporter <root@raspbian.org>
	Sun, 3 Jun 2018 23:43:51 +0000 (00:43 +0100)
committer	Peter Michael Green <plugwash@raspbian.org>
	Sun, 10 Jun 2018 07:59:03 +0000 (07:59 +0000)
commit	51fdcaa49ebeda22d0246ea16f11106bf2442c12
tree	b67c5e8bbcfd3c2be96903f2d23cf6d36c6172a0	tree \| snapshot
parent	4315e5cc7ad2da063def557930bba8b2f7c66b6d	commit \| diff
parent	ca3573b7a9e0a0864d5a199a55926cd661b0bd28	commit \| diff

Manual merge of version 3.0.1.real-3+rpi1 and 3.1.0-6 to produce 3.1.0-6+rpi1

Unnamed repository; edit this file 'description' to name the repository.